int main()
{
    printf("%s %s %s", "a", "b", "c");
    return 0;
}